
#ifndef __ARCH_H__
#define __ARCH_H__

#include <register.h>
#include <setup.h>
#include <memory_map.h>
#include <board_config.h>

#endif  // __ARCH_H__
